Distributing Synchronous Programs on a Loosely Synchronous, Distributed Architecture

In this short note we discuss the distribution of synchronous programs on distributed, asynchronous architecture of the type preferred for embedded real-time control applications. In such architectures, no global clock is broadcast. Instead, the bus, as well as its users are triggered by local periodic clocks. To improve fault-tolerance and robust-ness, these clocks are not synchronized, neither physically nor logically. Therefore such an architecture has some (restricted) degree of asynchrony, we call it loosely synchronous. A typical example of such architecture is the osek protocol, used for embedded electronics in automotive industry. In this note we show how synchronous programs can be safely distributed on loosely synchronous architectures. The method described here may not be novel to some communities, but it aims at ensuring awareness of the community of engineers in the area of real-time, embedded control systems. Distribution de programmes synchrones sur une architecture mollement synchrone R esum e : Cette note pr esente une approche tr es simple pour la r epartition de programmes synchrones sur des architectures typiques des bus de terrain en automatique temps-r eel (un exemple connu est osek dans le domaine de l' electronique embarqu ee en automobile). De telles architectures peuvent ^ etre vues comme un bus dot e d'une horloge p eriodique. Les usagers du bus proc edent egalement a des acc es p eriodiques. Le point important est que 1/ toutes ces horloges sont purement locales et non synchronis ees, et 2/ rien ne doit ^ etre bloquant. Il s'agit donc d'architectures r eparties qui ne satisfont pas au mod ele des langages synchrones, car elle n'assure pas d'horloge logique globale. Nous qualiions ces architectures de mollement synchrones. Dans cette note, nous proposons donc une approche tr es simple pour r epartir, de mani ere correcte par construction, des programmes synchrones sur une architecture mollement syn-chrone.